ποΈGitΠ―ΡΠ°ποΈ
.specify/extensions/verify/README.md 8f9eec5c0819ec4d9b8a69e6dfc7aaacd86e30a6 (8f9eec5c) Text, 5.78 KB
Spec-Kit Verify Extension
Post-implementation quality gate that validates implemented code against specification artifacts.
Features
β’ Implementation verification: Checks implemented code against spec, plan, tasks, and constitution to catch gaps before review
β’ Actionable report: Produces a verification report with findings, metrics, and next actions
β’ Configurable: Adjust report size limits
β’ Automatic hook: Optional post-implementation prompt after T383838/speckit.implement
β’ Read-only & idempotent: Never modifies source files or artifacts; repeated runs produce the same report
Installation
T282828
specify extension add verify
Or install from repository directly:
T282828
specify extension add verify --from https://github.com/ismaelJimenez/spec-kit-verify/archive/refs/tags/v1.0.3.zip
For local development:
T282828
specify extension add --dev /path/to/spec-kit-verify
Configuration
1. Create configuration file:
T282828
cp .specify/extensions/verify/config-template.yml Tffea00\
.specify/extensions/verify/verify-config.yml
2. Edit configuration:
T282828
vim .specify/extensions/verify/verify-config.yml
3. Customize as needed:
T282828
T8b949e# Limit report size
Tff7b72reportTb4b4b4:
Tff7b72max_findingsTb4b4b4: Ta5d6ff30
Usage
Command: verify
Validate implemented code against specification artifacts.
T282828
> /speckit.verify.run
Prerequisites:
β’ Spec Kit >= 0.1.0
β’ Completed T383838/speckit.implement run
β’ T383838spec.md and T383838tasks.md present in the feature directory
β’ At least one completed task in T383838tasks.md
Output:
β’ Verification report with findings, metrics, and next actions
β’ Optional remediation suggestions on request
Automatic Hook
If the T383838after_implement hook is enabled, you'll be prompted automatically after T383838/speckit.implement completes:
β Run verify to validate implementation against specification?
Configuration Reference
Report Settings
βββββββββββββββββββββββ¬ββββββββββ¬βββββββββββ¬βββββββββββββββββββββββββββββββββββββββββββββββ
β Setting β Type β Required β Description β
βββββββββββββββββββββββΌββββββββββΌβββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββ€
β T383838report.max_findings β integer β No β Maximum findings in the report (default: T38383850) β
βββββββββββββββββββββββ΄ββββββββββ΄βββββββββββ΄βββββββββββββββββββββββββββββββββββββββββββββββ
Environment Variables
This extension does not currently support environment variable overrides. All configuration is managed through T383838verify-config.yml.
Examples
Example 1: Basic Verification
T282828
> /speckit.specify
> /speckit.plan
> /speckit.tasks
> /speckit.implement
> /speckit.verify.run
The verify command produces a report like:
T282828
Tc9d1d9## Verification Report
| ID | Category | Severity | Location(s) | Summary | Recommendation |
|----|----------|----------|-------------|---------|----------------|
| A1 | Task Completion | LOW | tasks.md | 1 of 12 tasks incomplete | Complete task T08 |
| C1 | Requirement Coverage | CRITICAL | spec.md:FR-003 | No implementation evidence | Implement FR-003 |
| D1 | Scenario & Test Coverage | HIGH | spec.md:SC-02 | No test for login failure | Add test for scenario SC-02 |
Metrics: Tasks 11/12 Β· Requirement Coverage 92% Β· Files Verified 8 Β· Critical Issues 1
What It Does
The verify command analyzes implemented code against specification artifacts:
1. Loads feature artifacts (spec.md, plan.md, tasks.md, constitution.md)
2. Identifies implementation scope from completed tasks
3. Runs verification checks across seven categories
4. Produces a report with findings, metrics, and next actions
Verification Checks
ββββββββββββββββββββββββββββββββββ¬βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
β Check β What it verifies β
ββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ€
β Task Completion β All tasks marked complete β
β File Existence β Task-referenced files exist on disk β
β Requirement Coverage β Every requirement has implementation evidence β
β Scenario & Test Coverage β Spec scenarios covered by tests or code paths β
β Spec Intent Alignment β Implementation matches spec intent and acceptance criteria β
β Constitution Alignment β Constitution principles are respected β
β Design & Structure Consistency β Architecture and conventions match plan.md β
ββββββββββββββββββββββββββββββββββ΄βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Workflow Integration
T282828
/speckit.specify β /speckit.plan β /speckit.tasks β /speckit.implement β /speckit.verify.run
Operating Principles
β’ Read-only: Never modifies source files, tasks, or spec artifacts
β’ Spec-driven: All findings trace back to specification artifacts
β’ Constitution authority: Constitution violations are always CRITICAL
β’ Idempotent: Multiple runs on the same state produce the same report
Troubleshooting
Issue: Configuration not found
Solution: Create config from template (see Configuration section):
T282828
cp .specify/extensions/verify/config-template.yml Tffea00\
.specify/extensions/verify/verify-config.yml
Issue: Command not available
Solutions:
1. Check extension is installed: T383838specify extension list
2. Restart AI agent
3. Reinstall extension: T383838specify extension add verify
Issue: "No completed tasks" error
Solution: Run T383838/speckit.implement first. The verify command requires at least one completed task (T383838[x]) in T383838tasks.md.
Issue: "Missing spec.md" error
Solution: Run T383838/speckit.specify to create the specification before verifying. Both T383838spec.md and T383838tasks.md must exist in the feature directory.
License
Support
Changelog
Served by rngit 1.5.2 - Generated in 0.05s